601. Symbolic rewriting technique
پدیدآورنده : / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
602. Symposium on Computer Augmentation of Human Reasoning; ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Electronic data processing-- Congresses
رده :
Q
335
.
S9
1964
603. Systems and frameworks for computational morphology
پدیدآورنده : \ Cerstin Mahlow, Michael Piotrowski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Grammar, Comparative and general -- Morphology -- Data processing -- Congresses.,Computational linguistics -- Congresses.,Computational linguistics.,دستور زبان تطبیقی -- صرف -- داده‌پردازی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره‌ها ,زبان‌شناسی کامپیوتری
رده :
P
241
.
S9
2015
E-Book
,
604. Testbeds and research infrastructures for the development of networks and communications :
پدیدآورنده : Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture.,Computer networks.,Parallel processing (Electronic computers)
رده :
TK5105
.
5
.
T47
2018eb
605. Text, speech, and dialogue :
پدیدآورنده : Ivan Habernal, Václav Matoušek (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Natural language processing (Computer science), Congresses,Speech processing systems, Congresses,Text processing (Computer science), Congresses
رده :
QA76
.
9
.
N38
T73
2013
606. The practice of enterprise modeling :
پدیدآورنده : Paul Johannesson, John Krogstie, Andreas L. Opdahl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business enterprises-- Data processing, Congresses.,Information modeling, Congresses.,Management information systems, Congresses.
رده :
HF5548
.
2
.
I35
2011
607. Theoretical aspects of computing : ICTAC 2004 : first International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
پدیدآورنده : Zhiming Liu, Keijiro Araki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3407
608. Theoretical aspects of computing -- ICTAC 2005 : second International Colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings
پدیدآورنده : Dang Van Hung, Martin Wirsing )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3722
609. Theoretical computer science: 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing-- Congresses
رده :
QA
76
.
G4
1977
610. Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing--Congresses,، Electronic digital computers--Congresses
رده :
QA
75
.
5
.
I76
1992
611. Theory of computing and systems : ISTCS'92, Israel symposium, Haifa, Israel, May 27-28 : proceedings
پدیدآورنده : D. Dolev, Z. Galil, M. Rodeh, eds
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
601
612. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
613. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده : Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
614. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
615. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
616. Towards sustainable society on ubiquitous networks
پدیدآورنده : edited by Makoto Oya, Ryuya Uda, Chizuko Yasunobu
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Computer science, Congresses,Data protection, Congresses
617. Transactions on Large-Scale Data- and Knowledge- Centered Systems XXIII
پدیدآورنده : \ Abdelkader Hameurlain, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer security,Data encryption (Computer science),Computer networks,کامپیوترها,رمزگذاری داده‌ها,شبکه‌های کامپیوتری, -- Congresses, -- Congresses, -- Congresses, -- کنگره‌ها, -- کنگره‌ها, -- کنگره‌ها, -- Security measures, -- ایمنی اطلاعات, -- اقدامات تامینی,a03,a05,a07,a03,a05,a07
رده :
QA
76
.
9
.
D3T7
2016
E-Book
,
618. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
پدیدآورنده : Miquel Bertran, Teodor Rus, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1231
619. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
620. Trends in distributed systems CORBA and Beyond : International Workshop TreDS'96, Aachen, Germany, October 1-2, 1996 : proceedings
پدیدآورنده : Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1161
